Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
251	Technical Report NoRecursion is a Computational Eect by Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2000-12-20 09:51:50 Functional programming Adjoint functors Data types Recursion Logic in computer science Monad Haskell Denotational semantics Fold Software engineering Computer programming Computing
252	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
253	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
254	Chennai Mathematical Institute MSc/PhD Computer Science Topics covered in entrance examination • Discrete Mathematics Sets and relations, elementary counting techiniques, pigeon hole principle, partial orders, • Elem Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-03-23 06:34:16 Mathematical logic Combinatorial optimization Matching Automata theory Finite-state machine Algorithm Discrete mathematics Graph theory Computational complexity theory Mathematics Theoretical computer science Applied mathematics
255	CHENNAI MATHEMATICAL INSTITUTE M.Sc. / Ph.D. Programme in Computer Science Entrance Examination, 25 May 2012 This question paper has 5 printed sides. Part A has 10 questions of 3 marks each. Part B has 7 questions of 10 Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2013-02-28 10:49:50 Analysis of algorithms Computational complexity theory Algorithm Mathematical logic Dynamic programming Time complexity ATS Randomized algorithm Pseudorandom generator theorem Theoretical computer science Applied mathematics Mathematics
256	CHENNAI MATHEMATICAL INSTITUTE M.Sc. / Ph.D. Programme in Computer Science Entrance Examination, 27 May 2010 This question paper has 5 printed sides. Part A has 10 questions of 3 marks each. Part B has 7 questions of 10 Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-04-04 11:42:17 Analysis of algorithms Algorithm Mathematical logic Time complexity Regular expression P Randomized algorithm Median graph Theoretical computer science Computational complexity theory Applied mathematics
257	Armadillo: a compilation chain for privacy preserving applications Sergiu Carpov, Paul Dubrulle, Renaud Sirdey CEA, LIST, Embedded Real Time & Security Laboratory, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-10 03:12:34 Mathematics Logic in computer science Homomorphic encryption Computational complexity theory Boolean circuit Block cipher modes of operation Advanced Encryption Standard Circuit Block cipher Theoretical computer science Cryptography Applied mathematics
258	IEEE TRANSACTIONS ON COMPUTERS, VOL. 54, NO. 9, SEPTEMBER 2005 Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 21:57:03 Analysis of algorithms Switches Randomized algorithm Logic gate PP Network switch Time complexity Theoretical computer science Computational complexity theory Applied mathematics
259	Training Artificial Neural Networks for Fuzzy Logic Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Fuzzy logic Science Mathematics Artificial intelligence Artificial neural network T-norm Artificial neuron Neural networks Computational neuroscience Logic
260	Semantic Referencing – Determining Context Weights for Similarity Measurement Krzysztof Janowicz1 , Benjamin Adams2 , Martin Raubal3 1 Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:34:32 Computational linguistics Semantic similarity Information retrieval Semantic Web Similarity Description logic Ontology Semantic memory SimRank Science Information science Geometry

UPDATE